Logic for Two: The Semantics of Distributive Substructural Logics
نویسندگان
چکیده
This is an account of the semantics of a family of logics whose paradigm member is the relevant logic R of Anderson and Belnap. The formal semantic theory is well worn, having been discussed in the literature of such logics for over a quarter of a century. What is new here is the explication of that formal machinery in a way intended to make sense of it for those who have claimed it to be esoteric, `merely formal' or downright impenetrable. Our further goal is to put these logics in the service of practical reasoning systems, since the basic concept of our treatment is that of an agent a reasoning to conclusions using as assumptions the theory of agent b, where a and b may or may not be the same. This concept is fundamental to multi-agent reasoning. Abstract This is an account of the semantics of a family of logics whose paradigm member is the relevant logic R of Anderson and Belnap. The formal semantic theory is well worn, having been discussed in the literature of such logics for over a quarter of a century. What is new here is the explication of that formal machinery in a way intended to make sense of it for those who have claimed it to be esoteric, `merely formal' or downright impenetrable. Our further goal is to put these logics in the service of practical reasoning systems, since the basic concept of our treatment is that of an agent a reasoning to conclusions using as assumptions the theory of agent b, where a and b may or may not be the same. This concept is fundamental to multi-agent reasoning.
منابع مشابه
Distributive Substructural Logics as Coalgebraic Logics over Posets
We show how to understand frame semantics of distributive substructural logics coalgebraically, thus opening a possibility to study them as coalgebraic logics. As an application of this approach we prove a general version of Goldblatt-Thomason theorem that characterizes definability of classes of frames for logics extending the distributive Full Lambek logic, as e.g. relevance logics, many-valu...
متن کاملCoalgebraic completeness-via-canonicity for distributive substructural logics
We prove strong completeness of a range of substructural logics with respect to their relational semantics by completeness-via-canonicity. Specifically, we use the topological theory of canonical (in) equations in distributive lattice expansions to show that distributive substructural logics are strongly complete with respect to their relational semantics. By formalizing the problem in the lang...
متن کاملCompleteness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective
We prove strong completeness of a range of substructural logics with respect to their relational semantics by completeness-viacanonicity. Specifically, we use the topological theory of canonical (in) equations in distributive lattice expansions to show that distributive substructural logics are strongly complete with respect to their relational semantics. By formalizing the problem in the langu...
متن کاملBi-approximation Semantics for Substructural Logic at Work
In this paper, we introduce bi-approximation semantics, a two-sorted relational semantics, via the canonical extension of lattice expansions. To characterise Ghilardi and Meloni’s parallel computation, we introduce doppelgänger valuations which allow us to evaluate sequents and not only formulae. Moreover, by introducing the bi-directional approximation and bases, we track down a connection to ...
متن کاملSubstructural epistemic logics
In many common epistemic scenarios, the warrant provided by the body of evidence available to an agent does not seem to be closed under classical consequence. It may be the case that evidence gathered during a criminal investigation provides inconsistent information without thereby supporting the existence of extraterrestrials. It may be the case that an agent has gathered enough evidence to se...
متن کاملA Canonical Model Construction for Substructural Logics
In this paper, we introduce a class of substructural logics, called normal substructural logics, which includes not only relevant logic, BCK logic, linear logic and the Lambek calculus but also weak logics with strict implication, and de ne Kripkestyle semantics (Kripke frames and models) for normal substructural logics. Then we show a correspondence between axioms and properties on frames, and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997